Consistently There Is No Non Trivial CCC Forcing Notion with the Sacks or Laver Property
نویسنده
چکیده
(See below for a definition of the Sacks property.) A “definable” variant of this question has been answered in [Sh 480]: Every nontrivial Souslin forcing notion which has the Sacks property has an uncountable antichain. (A Souslin forcing notion is a forcing notion for which the set of conditions, the comparability relation and the incompatibility relation are all analytic subsets of the reals. See [JdSh 292] and [Sh 480] for details). We show here
منابع مشابه
Uniform unfolding and analytic measurability
There are many natural forcing notions adding real numbers, most notably the precursors of this class of forcing notions, namely Cohen and Random forcing. Whereas Random forcing has been deliberately constructed in connection with the σ–algebra of Lebesgue measurable sets and Cohen forcing is represented by the algebra of Borel sets modulo the σ–ideal of meager sets, the other classical forcing...
متن کاملN - Localization Property
The present paper is concerned with the n–localization property and its preservation in countable support (CS) iterations. This property was first introduced in Newelski and Ros lanowski [10, p. 826]. Definition 0.1. Let n be an integer greater than 1. (1) A tree T is an n–ary tree provided that (∀s ∈ T)(|succ T (s)| ≤ n). (2) A forcing notion P has the n–localization property if P " ∀f ∈ ω ω ∃...
متن کاملSacks forcing, Laver forcing, and Martin's axiom
In this paper we study the question assuming MA+¬CH does Sacks forcing or Laver forcing collapse cardinals? We show that this question is equivalant to question of what is the additivity of Marczewski’s ideal s. We give a proof that it is consistent that Sacks forcing collapses cardinals. On the other hand we show that Laver forcing does not collapse cardinals. Introduction Let S be Sacks perfe...
متن کاملTowers on Trees
We show that (under MA) for any c many dense sets in Laver forcing L there exists a ff-centered Q Ç L such that all the given dense sets are dense in Q . In particular, MA implies that L satisfies MA and does not collapse the continuum and the additivity of the Laver ideal is the continuum. The same is true for Miller forcing and for Mathias forcing. In the case of Miller forcing this involves ...
متن کاملSaccharinity
A. We present a method to iterate finitely splitting lim-sup tree forcings along non-wellfounded linear orders. We apply this method to construct a forcing (without using an inaccessible or amalgamation) that makes all definable sets of reals measurable with respect to a certain (non-ccc) ideal. 1. I In the seminal paper [10] Solovay proved that in the Levy model (after collap...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Combinatorica
دوره 21 شماره
صفحات -
تاریخ انتشار 2001